/*
 *  paging.h
 *  FrostOS
 *
 *  Created by bluechill on 2/23/10.
 *  Copyright 2010 SecurityOverride. All rights reserved.
 *
 */

#ifndef PAGING_H
#define PAGING_H

#include <stdint.h>

#ifdef __cplusplus
extern "C" uint64_t read_cr0();
extern "C" uint64_t read_cr3();
extern "C" void write_cr0(uint64_t address);
extern "C" void write_cr3(uint64_t address);
extern "C" void enable_paging();
#elif defined(__STDC__)
extern uint64_t read_cr0();
extern uint64_t read_cr3();
extern void write_cr0(uint64_t address);
extern void write_cr3(uint64_t address);
#endif

#endif
